Wyniki
-
Boolean Programs and Quantified Propositional Proof Systems
Stephen Cook, Michael Sołtys
Bulletin of the Section of Logic , 28 /3 (1999) s. 119-129
Stephen Cook,
Michael Sołtys
Bulletin of the Section of Logic
, 28
/3
(1999)
s. 119-129